Nuprl Definition : ecl-mng
0,22
postcript
pdf
@
i
[[
x
;
snd
;
upd
]] ==
l
msg-spec-links(
snd
).@
i
[[
x
;
snd
]] &
z
update-spec-vars(
upd
).@
i
[[
x
;
upd
]]
latex
clarification:
ecl-mng{i:l}
ecl-mng
(
es
;
i
;
ds
;
da
;
x
;
snd
;
upd
)
==
l
msg-spec-links(
snd
).ecl-mng-sends{i:l}(
es
;
i
;
ds
;
da
;
x
;
l
;
snd
)
==
&
z
update-spec-vars(
upd
).ecl-mng-update{i:l}(
es
;
i
;
ds
;
da
;
x
;
z
;
upd
)
latex
Definitions
P
&
Q
,
msg-spec-links(
snd
)
,
@
i
[[
x
;
snd
]]
,
x
L
.
P
(
x
)
,
update-spec-vars(
upd
)
,
@
i
[[
x
;
upd
]]
FDL editor aliases
ecl-mng
origin